<?php
/**
 * Created by PhpStorm.
 * User: Administrator
 * Date: 2017/3/10
 * Time: 16:11
 */
$str = '15 7  0 5     1 0     12   11';
$str1 = str_replace(' ', '', $str);
echo $str;
echo '<br>';
echo $str1;